#define PIKA_VERSION_MAJOR 1
#define PIKA_VERSION_MINOR 12
#define PIKA_VERSION_MICRO 5

#define PIKA_EDIT_TIME "2023/09/07 14:46:48"
